Model of computation - PDFSEARCH.IO - Document Search Engine

Model of computation
Results: 512

#	Item
121	The Grouped Author-Topic Model for Unsupervised Entity Resolution Andrew M. Dai and Amos J. Storkey Institute for Adaptive and Neural Computation, School of Informatics, University of Edinburgh, U.K. {a.dai,a.storkey}@ed Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-09-27 08:11:22 Statistical natural language processing Stochastic processes Machine learning Statistical models Natural language processing Latent Dirichlet allocation Dirichlet process Plate notation Mixture model Statistics Probability and statistics Probability
122	PDF Document Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2014-08-13 20:55:06 Turing machine Theory of computation Alan Turing Computability theory Turing completeness Actor model Algorithm Complexity Strong AI Computer science Theoretical computer science Applied mathematics
123	R. Paul Wiegand III Institute for Simulation & Training University of Central Florida Orlando, FLPhone: Add to Reading List Source URL: www.tesseract.org Language: English - Date: 2007-06-25 09:45:03 Applied mathematics Evolutionary biology Evolutionary computation Mathematical optimization Evolution Genetic algorithm Evolutionary robotics Agent-based model Coevolution Science Cybernetics Knowledge
124	professors William Farmer & Jacques Carette Mechanising mathematics Add to Reading List Source URL: www.cas.mcmaster.ca Language: English - Date: 2013-05-23 14:39:30 Mathematical logic Theoretical computer science Philosophy of mathematics Symbolic computation Applied mathematics Algorithm Computer algebra system Mathematica Actor model Science Mathematics Mathematical software
125	Cyclic Architectures in UML Techletter Nr. 2 What is a Techletter? Well actually nothing more than a newsletter, just that the content mainly focusses on technical items in the UML and in embedded systems with limited re Add to Reading List Source URL: www.willert.de Language: English - Date: 2015-01-12 10:47:06 Diagrams Unified Modeling Language Infographics Models of computation UML tool State diagram Activity diagram Embedded system Entity-relationship model Software UML diagrams Computing
126	A semantic model of computation for natural system modelling Add to Reading List Source URL: www.mssanz.org.au Language: English - Date: 2013-01-15 19:01:36 Semantic Web Information science Data Technical communication Knowledge representation Web Ontology Language Description logic Workflow Knowledge representation and reasoning Information Ontology Science
127	PRELIMINARY EXAMINATION GROUP IN LOGIC AND THE METHODOLOGY OF SCIENCE For the following questions we fix a standard enumeration h ϕe : e ∈ ω i of the partial recursive functions with the corresponding enumeration hWe Add to Reading List Source URL: logic.berkeley.edu Language: English Theory of computation Recursively enumerable set Enumeration Model theory Presentation of a group Ordinal number Ω-consistent theory Mathematics Mathematical logic Computability theory
128	Pushdown Control-Flow Analysis of Higher-Order Programs Christopher Earl David Van Horn ∗ Matthew Might Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:22:59 Symbol Structure Model theory Mathematics Logic Automata theory Models of computation Pushdown automaton
129	CCCG 2014, Halifax, Nova Scotia, August 11–13, 2014 Time, space, and precision: Revisiting classic problems in computational geometry with degree-driven analysis Jack Snoeyink∗ Add to Reading List Source URL: www.cccg.ca Language: English - Date: 2014-08-04 14:37:40 Analysis of algorithms Computational complexity theory Computer arithmetic Algorithm Mathematical logic Floating point Computational geometry Time complexity Model of computation Theoretical computer science Applied mathematics Computer science
130	A Bisimulation for Type Abstraction and Recursion Eijiro Sumii Benjamin C. Pierce University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2005-01-18 15:06:02 Mathematics Models of computation Denotational semantics Lambda calculus Model theory Π-calculus Bisimulation Orbifold Theoretical computer science Applied mathematics Logic in computer science